Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
261	CALL FOR PAPERS A Special Issue on Social and Mobile Technologies The increasing use of Social and Mobile technologies in business and personal lives has unleashed a stream of Analytics with both big and small data in th Add to Reading List Source URL: www.som.buffalo.edu Language: English - Date: 2014-10-29 20:27:03 Science Business intelligence Analytics Privacy Cloud computing Big data Information systems Data mining Email Technology Formal sciences Data management
262	Predicting the Understandability of OWL Inferences Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams Department of Computing, The Open University, Milton Keynes, UK {t.nguyen,r.power,p.piwek,s.h.williams}@open Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Formal systems Reasoning Deduction Inference Entailment Formal proof Axiom Logic Logical consequence Logical syntax
263	A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Systems engineering Formal methods Software requirements Quality Safety engineering Dependability Reliability engineering Problem frames approach Software development methodology Software development Software Science
264	Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization (Tutorial paper for the 53rd IEEE Conference on Decision and Control) Amir Ali Ahmadi and Pablo A. Pa Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-09-21 01:20:26 Stability theory Systems theory Real algebraic geometry Applied mathematics Dynamical systems Lyapunov function Sum-of-squares optimization Semidefinite programming Lyapunov stability Mathematics Mathematical optimization Operations research
265	Formal statement from China to GEO-X GEO brings great opportunities for countries around the world, including China. Chinese government is likely to use this chance to improve its earth observing activities and applicat Add to Reading List Source URL: www.earthobservations.org Language: English - Date: 2014-01-29 04:17:58 Technology Global Earth Observation System of Systems Satellite Weather satellite Fengyun Remote sensing Meteorology Atmospheric sciences
266	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Mathematics Linguistics Cellular automaton Shape grammar Grammar L-system Formal grammar Syntax Genetic algorithm Formal languages Science Cybernetics
267	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2010-11-08 10:51:38 Technology Science Software engineering Theoretical computer science Software requirements Formal verification Software verification Formal specification Problem frames approach Software development Formal methods Systems engineering
268	PDF Document Add to Reading List Source URL: www.groupid.com Language: English - Date: 2012-05-10 15:56:37 Building engineering Technology Formal methods Computing Product lifecycle management Project manager Software development process Systems development life-cycle Project management Software engineering Management
269	A Ship without a Rudder Ranulph Glanville CybernEthics Research®, Southsea, UK Abstract In order to excavate something of cybernetics, I look at the notion of stability. Stability is related to the basic cybernetic conc Add to Reading List Source URL: www.univie.ac.at Language: English - Date: 1999-07-16 07:34:01 Control theory Knowledge Systems theory Formal sciences Systems Second-order cybernetics Error Stability Feedback Science Cybernetics Ethology
270	Contents Price $24.99 Disclaimers: The intent and purpose of this report is purely for informational dissemination purposes only. Thomson Reuters and MPD Organizations, L.L.C., (together with their shareholders, direct Add to Reading List Source URL: schaffercons.com Language: English - Date: 2014-05-22 14:44:33 Science Business intelligence Database management systems Emerging technologies Big data Transaction processing Analytics Thomson Reuters Technology Formal sciences Data management

UPDATE